lavoro:-
	assert(library_directory('C:\Documents and Settings\root\Documenti\Lavoro\CNR\ProgettoPeach\Progetto\Saruman\xsb')),
	[odbc_call],
	[basics],
	[aggregs],
	[db],
	[nonDeterministicGoal],
	[init].